../decaf/method.tex